encountered. Changing it in the midst of scanning will
have unexpected results since _f_l_e_x buffers its input;
use yyyyyyyyrrrreeeessssttttaaaarrrrtttt(((()))) instead. Once scanning terminates
because an end-of-file has been seen, yyyyoooouuuu ccccaaaannnn aaaassssssssiiiiggggnnnn
_y_y_i_n at the new input file and then call the scanner
again to continue scanning.
- vvvvooooiiiidddd yyyyyyyyrrrreeeessssttttaaaarrrrtttt(((( FFFFIIIILLLLEEEE ****nnnneeeewwww____ffffiiiilllleeee )))) may be called to point
_y_y_i_n at the new input file. The switch-over to the new
file is immediate (any previously buffered-up input is
lost). Note that calling yyyyyyyyrrrreeeessssttttaaaarrrrtttt(((()))) with _y_y_i_n as an
argument thus throws away the current input buffer and
continues scanning the same input file.
- FFFFIIIILLLLEEEE ****yyyyyyyyoooouuuutttt is the file to which EEEECCCCHHHHOOOO actions are done.
It can be reassigned by the user.
- YYYYYYYY____CCCCUUUURRRRRRRREEEENNNNTTTT____BBBBUUUUFFFFFFFFEEEERRRR returns a YYYYYYYY____BBBBUUUUFFFFFFFFEEEERRRR____SSSSTTTTAAAATTTTEEEE handle to
the current buffer.
- YYYYYYYY____SSSSTTTTAAAARRRRTTTT returns an integer value corresponding to the
current start condition. You can subsequently use this
value with BBBBEEEEGGGGIIIINNNN to return to that start condition.